STRUCTURED DOCUMENT LOGIC

This paper describes some practical and theoretical foundations of Structured Document Logic (SDL), which is a logical methodology for analyzing properties of Web documents, like XML or HTML. SDL can make benefits in searching of HTML pages, or in defining filters for web documents. Both syntax and semantics of SDL are described, and an efficient evaluation algorithm is also introduced

A Modal Logical Approach for Developing XML Databases

This paper investigates the possibility of realizing the core of an XML database system by a pure modal logical formalism providing query and constraint languages with well-defined syntax semantics and computational elements. The paper also introduces a domain-specific modal logic for XML documents which can be used to implement some of the basic services of an XML database